From c60209d77e2c02de110ca0fdaa2582ef4e53d8fd Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Mon, 21 Jan 2013 12:40:31 +0000 Subject: [PATCH] xen/arm: flush dcache after memcpy'ing the kernel image After memcpy'ing the kernel in guest memory we need to flush the dcache to make sure that the data actually reaches the memory before we start executing guest code with caches disabled. copy_from_paddr is the function that does the copy, so add a flush_xen_dcache_va_range there. Signed-off-by: Stefano Stabellini Acked-by: Ian Campbell Committed-by: Ian Campbell --- xen/arch/arm/kernel.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/arm/kernel.c b/xen/arch/arm/kernel.c index c9265d7212..2f7a9ff2a5 100644 --- a/xen/arch/arm/kernel.c +++ b/xen/arch/arm/kernel.c @@ -54,6 +54,7 @@ void copy_from_paddr(void *dst, paddr_t paddr, unsigned long len, int attrindx) set_fixmap(FIXMAP_MISC, p, attrindx); memcpy(dst, src + s, l); + flush_xen_dcache_va_range(dst, l); paddr += l; dst += l; -- 2.30.2